1. Mathematical theory of program correctness
Author: Bakker, J. W. de )Jacobus Willem(, 9391-
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Computer programs -- Correctness,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
B335
